1

A generalized notion of weak interpretability and the corresponding modal logic

Année:
1993
Langue:
english
Fichier:
PDF, 3.00 MB
english, 1993
2

The logic of arithmetical hierarchy

Année:
1994
Langue:
english
Fichier:
PDF, 1.65 MB
english, 1994
3

A series expansion of fractional Brownian motion

Année:
2004
Langue:
english
Fichier:
PDF, 180 KB
english, 2004
4

On interpolation series related to the abel-goncharov problem

Année:
2001
Langue:
english
Fichier:
PDF, 944 KB
english, 2001
5

Predicate provability logic with non-modalized quantifiers

Année:
1991
Langue:
english
Fichier:
PDF, 585 KB
english, 1991
6

Creep of rolled concrete

Année:
1992
Langue:
english
Fichier:
PDF, 229 KB
english, 1992
9

Properties of chemically capped steel St. 3kp

Année:
1968
Langue:
english
Fichier:
PDF, 710 KB
english, 1968
11

Average hadron multiplicities in three-jet configurations

Année:
1986
Langue:
english
Fichier:
PDF, 472 KB
english, 1986
13

On Parameter Estimation by the Davidon–Fletcher–Powell Method

Année:
1983
Langue:
english
Fichier:
PDF, 727 KB
english, 1983
15

On correlation calculus for multivariate martingales

Année:
1993
Langue:
english
Fichier:
PDF, 863 KB
english, 1993
18

Optimality of an explicit series expansion of the fractional Brownian sheet

Année:
2005
Langue:
english
Fichier:
PDF, 196 KB
english, 2005
20

A frequency domain approach to some results on fractional Brownian motion

Année:
2002
Langue:
english
Fichier:
PDF, 197 KB
english, 2002
21

On Bernstein-type inequalities for martingales

Année:
2001
Langue:
english
Fichier:
PDF, 102 KB
english, 2001
22

EPR and RFDS Study of Gd3+ in α-LiIO3 Single Crystals

Année:
1990
Langue:
english
Fichier:
PDF, 97 KB
english, 1990
23

The logic of linear tolerance

Année:
1992
Langue:
english
Fichier:
PDF, 1.32 MB
english, 1992
24

Decidable and enumerable predicate logics of provability

Année:
1990
Langue:
english
Fichier:
PDF, 958 KB
english, 1990
25

Calculation of some physico-chemical characteristics of metals related to their strength

Année:
1966
Langue:
english
Fichier:
PDF, 546 KB
english, 1966
26

Limit indicator of the metal level in ladles

Année:
1975
Langue:
english
Fichier:
PDF, 104 KB
english, 1975
28

Use of electromechanical weighing machines

Année:
1974
Langue:
english
Fichier:
PDF, 213 KB
english, 1974
31

New discrete aquameters for solids and materials

Année:
1976
Langue:
english
Fichier:
PDF, 174 KB
english, 1976
40

On the Hellinger type distances for filtered experiments

Année:
1990
Langue:
english
Fichier:
PDF, 547 KB
english, 1990
41

On the computation of chi-square-type statistics

Année:
1995
Langue:
english
Fichier:
PDF, 698 KB
english, 1995
42

Tensile testing of cylindrical specimens by the cleavage method

Année:
1972
Langue:
english
Fichier:
PDF, 223 KB
english, 1972
43

The energy balance of the fracture process in certain rocks

Année:
1974
Langue:
english
Fichier:
PDF, 352 KB
english, 1974
44

Criteria for the best structural solution and basic layout of an underground construction

Année:
1989
Langue:
english
Fichier:
PDF, 647 KB
english, 1989
45

Scales and batching equipment

Année:
1998
Langue:
english
Fichier:
PDF, 267 KB
english, 1998